Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Artículo |
Relating higher-order and first-order rewriting : | Bonelli, Eduardo |
(2005) |
---------- | |
Artículo |
de Bruijn indices for metaterms : | Bonelli, Eduardo |
(2005) |
---------- |